Induced subgraphs of graphs with large chromatic number. IV. Consecutive holes

A hole in a graph is an induced subgraph which is a cycle of length at least four. We prove that for every positive integer k, every triangle-free graph with sufficiently large chromatic number contains holes of k consecutive lengths

The Computational Complexity of Linear Optics

We give new evidence that quantum computers -- moreover, rudimentary quantum computers built entirely out of linear-optical elements -- cannot be efficiently simulated by classical computers. In particular, we define a model of computation in which identical photons are generated, sent through a linear-optical network, then nonadaptively measured to count the number of photons in each mode. This model is not known or believed to be universal for quantum computation, and indeed, we discuss the prospects for realizing the model using current technology. On the other hand, we prove that the model is able to solve sampling problems and search problems that are classically intractable under plausible assumptions. Our first result says that, if there exists a polynomial-time classical algorithm that samples from the same probability distribution as a linear-optical network, then P^#P=BPP^NP, and hence the polynomial hierarchy collapses to the third level. Unfortunately, this result assumes an extremely accurate simulation. Our main result suggests that even an approximate or noisy classical simulation would already imply a collapse of the polynomial hierarchy. For this, we need two unproven conjectures: the "Permanent-of-Gaussians Conjecture", which says that it is #P-hard to approximate the permanent of a matrix A of independent N(0,1) Gaussian entries, with high probability over A; and the "Permanent Anti-Concentration Conjecture", which says that |Per(A)|>=sqrt(n!)/poly(n) with high probability over A. We present evidence for these conjectures, both of which seem interesting even apart from our application. This paper does not assume knowledge of quantum optics. Indeed, part of its goal is to develop the beautiful theory of noninteracting bosons underlying our model, and its connection to the permanent function, in a self-contained way accessible to theoretical computer scientists.Comment: 94 pages, 4 figure

Random graphs from a block-stable class

A class of graphs is called block-stable when a graph is in the class if and only if each of its blocks is. We show that, as for trees, for most $n$-vertex graphs in such a class, each vertex is in at most $(1+o(1)) \log n / \log\log n$ blocks, and each path passes through at most $5 (n \log n)^{1/2}$ blocks. These results extend to `weakly block-stable' classes of graphs

Maximising the number of induced cycles in a graph

We determine the maximum number of induced cycles that can be contained in a graph on $n\ge n_0$ vertices, and show that there is a unique graph that achieves this maximum. This answers a question of Tuza. We also determine the maximum number of odd or even cycles that can be contained in a graph on $n\ge n_0$ vertices and characterise the extremal graphs. This resolves a conjecture of Chv\'atal and Tuza from 1988.Comment: 36 page

On lower bounds for the matching number of subcubic graphs

We give a complete description of the set of triples (a,b,c) of real numbers with the following property. There exists a constant K such that a n_3 + b n_2 + c n_1 - K is a lower bound for the matching number of every connected subcubic graph G, where n_i denotes the number of vertices of degree i for each i

Induced subgraphs of graphs with large chromatic number. XIII. New brooms

Gy\'arf\'as and Sumner independently conjectured that for every tree $T$, the class of graphs not containing $T$ as an induced subgraph is $\chi$-bounded, that is, the chromatic numbers of graphs in this class are bounded above by a function of their clique numbers. This remains open for general trees $T$, but has been proved for some particular trees. For $k\ge 1$, let us say a broom of length $k$ is a tree obtained from a $k$-edge path with ends $a,b$ by adding some number of leaves adjacent to $b$, and we call $a$ its handle. A tree obtained from brooms of lengths $k_1,...,k_n$ by identifying their handles is a $(k_1,...,k_n)$-multibroom. Kierstead and Penrice proved that every $(1,...,1)$-multibroom $T$ satisfies the Gy\'arf\'as-Sumner conjecture, and Kierstead and Zhu proved the same for $(2,...,2)$-multibrooms. In this paper give a common generalization: we prove that every $(1,...,1,2,...,2)$-multibroom satisfies the Gy\'arf\'as-Sumner conjecture

Maximising HH-Colourings of Graphs

For graphs $G$ and $H$, an $H$-colouring of $G$ is a map $\psi:V(G)\rightarrow V(H)$ such that $ij\in E(G)\Rightarrow\psi(i)\psi(j)\in E(H)$. The number of $H$-colourings of $G$ is denoted by $\hom(G,H)$. We prove the following: for all graphs $H$ and $\delta\geq3$, there is a constant $\kappa(\delta,H)$ such that, if $n\geq\kappa(\delta,H)$, the graph $K_{\delta,n-\delta}$ maximises the number of $H$-colourings among all connected graphs with $n$ vertices and minimum degree $\delta$. This answers a question of Engbers. We also disprove a conjecture of Engbers on the graph $G$ that maximises the number of $H$-colourings when the assumption of the connectivity of $G$ is dropped. Finally, let $H$ be a graph with maximum degree $k$. We show that, if $H$ does not contain the complete looped graph on $k$ vertices or $K_{k,k}$ as a component and $\delta\geq\delta_0(H)$, then the following holds: for $n$ sufficiently large, the graph $K_{\delta,n-\delta}$ maximises the number of $H$-colourings among all graphs on $n$ vertices with minimum degree $\delta$. This partially answers another question of Engbers

Intersections of hypergraphs

Given two weighted k-uniform hypergraphs G, H of order n, how much (or little) can we make them overlap by placing them on the same vertex set? If we place them at random, how concentrated is the distribution of the intersection? The aim of this paper is to investigate these questions